<?php
(($a));